Documentacion: Increase Classified Emails

Descripcion: Agent mental state to consider the Increase Classified Emails goal satisfied or failed.

The goal establishes that the system has to add new classified e-mails. In order to achieve this goal, when there is new e-mail (NewEmailArrived event), the system has to provide it a category and move it to the appropriate folder. When the process has finished, several facts could have been asserted. If the asserted fact is EmailClassified, the system has been successful in categorizing and moving the e-mail. If the asserted fact is EmailNotMoved, Email NotClassifiable or EmailNotAvailable, the system has failed its actions with the e-mail for some reason.

Instancias de entidades de meta-modelo

Entidad	Entidad del meta-modelo	Documentacion
EmailOrganizer	Agente	It represents the agent which manages the email in the system. It is related with an EmailWrapper.
(EmailOrganiser ejecutor)	AgenteConcreto
Success Increase Classified Emails	EstadoMental	The Increase Classified Emails goal has been satisfied.
Fail Increase Classified Emails	EstadoMentalCondicionado	The Increase Classified Emails goal has been failed.
NewMailArrived	EventoAplicacionSlots	Event triggered by the EmailWrapper when there is new incoming email.
EmailClassified	Hecho	Email moved. It has a default status OK.
EmailNotAvailable	Hecho	The EmailWrapper could not obtain the email indicated in the event.
EmailNotClassifiable	Hecho	Email that could not be classified and the reason of it.
EmailNotMoved	Hecho	Email that could not be moved to its corresponding folder and the reason of it.

EmailOrganizer (Agente)

Propiedades:

ID	EmailOrganizer
Descripcion	It represents the agent which manages the email in the system. It is related with an EmailWrapper.

Relaciones:

En el rol

En la relacion

Otros extremos

RInstanciaDeD

InstanciaDe

Con los objetos	En el rol
(EmailOrganiser ejecutor)	RinstanciaDeO

(EmailOrganiser ejecutor) (AgenteConcreto)

Propiedades:

ID	(EmailOrganiser ejecutor)

Relaciones:

En el rol

En la relacion

Otros extremos

ATieneEstadoMentalOR

ATieneEstadoMental

Con los objetos	En el rol
Success Increase Classified Emails	ATieneEstadoMentalDR

ATieneEstadoMentalOR

ATieneEstadoMental

Con los objetos	En el rol
Fail Increase Classified Emails	ATieneEstadoMentalDR

RinstanciaDeO

InstanciaDe

Con los objetos	En el rol
EmailOrganizer	RInstanciaDeD

Success Increase Classified Emails (EstadoMental)

Propiedades:

ID	Success Increase Classified Emails
Descripcion	The Increase Classified Emails goal has been satisfied.

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalOR

AContieneEntidadMental

Con los objetos	En el rol
EmailClassified	AContieneEntidadMentalDR

AContieneEntidadMentalOR

AContieneEntidadMental

Con los objetos	En el rol
NewMailArrived	AContieneEntidadMentalDR

ATieneEstadoMentalDR

ATieneEstadoMental

Con los objetos	En el rol
(EmailOrganiser ejecutor)	ATieneEstadoMentalOR

Fail Increase Classified Emails (EstadoMentalCondicionado)

Propiedades:

ID	Fail Increase Classified Emails
Descripcion	The Increase Classified Emails goal has been failed.
Descripcion	exists(NotAvailable) \|\| exists(NotClassifiable) \|\| exists(NotMoved)

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalOR

AContieneEntidadMental

Con los objetos	En el rol
NewMailArrived	AContieneEntidadMentalDR

AContieneEntidadMentalOR

AContieneEntidadMental

Con los objetos	En el rol
EmailNotMoved	AContieneEntidadMentalDR

AContieneEntidadMentalOR

AContieneEntidadMental

Con los objetos	En el rol
EmailNotClassifiable	AContieneEntidadMentalDR

AContieneEntidadMentalOR

AContieneEntidadMental

Con los objetos	En el rol
EmailNotAvailable	AContieneEntidadMentalDR

ATieneEstadoMentalDR

ATieneEstadoMental

Con los objetos	En el rol
(EmailOrganiser ejecutor)	ATieneEstadoMentalOR

NewMailArrived (EventoAplicacionSlots)

Propiedades:

ID	NewMailArrived
Descripcion	Event triggered by the EmailWrapper when there is new incoming email.
slots	user folder mailID

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalDR

AContieneEntidadMental

Con los objetos	En el rol
Success Increase Classified Emails	AContieneEntidadMentalOR

AContieneEntidadMentalDR

AContieneEntidadMental

Con los objetos	En el rol
Fail Increase Classified Emails	AContieneEntidadMentalOR

EmailClassified (Hecho)

Propiedades:

ID	EmailClassified
Descripcion	Email moved. It has a default status OK.
slots	user folder mailID category

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalDR

AContieneEntidadMental

Con los objetos	En el rol
Success Increase Classified Emails	AContieneEntidadMentalOR

EmailNotAvailable (Hecho)

Propiedades:

ID	EmailNotAvailable
Descripcion	The EmailWrapper could not obtain the email indicated in the event.
slots	user folder mailID status

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalDR

AContieneEntidadMental

Con los objetos	En el rol
Fail Increase Classified Emails	AContieneEntidadMentalOR

EmailNotClassifiable (Hecho)

Propiedades:

ID	EmailNotClassifiable
Descripcion	Email that could not be classified and the reason of it.
slots	user folder mailID status

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalDR

AContieneEntidadMental

Con los objetos	En el rol
Fail Increase Classified Emails	AContieneEntidadMentalOR

EmailNotMoved (Hecho)

Propiedades:

ID	EmailNotMoved
Descripcion	Email that could not be moved to its corresponding folder and the reason of it.
slots	user folder mailID category status

Relaciones:

En el rol

En la relacion

Otros extremos

AContieneEntidadMentalDR

AContieneEntidadMental

Con los objetos	En el rol
Fail Increase Classified Emails	AContieneEntidadMentalOR